import category_theory.sums.associator
